1. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
2. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics,Mathematics. ، Computer science - Mathematics
رده :
QA
39
.
2
.
A688
1996
3. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematics,، Computer science-- Mathematics
رده :
QA
39
.
2
.
A688
1996
4. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
